/*
 * RandomFormulaeGenerator.h
 *
 *  Created on: 25/mag/2012
 *      Author: Lorenzo
 */

#ifndef RANDOMFORMULAEGENERATOR_H_
#define RANDOMFORMULAEGENERATOR_H_

#include "Formula.h"
#include <vector>



class RandomFormulaeGenerator {
public:
	RandomFormulaeGenerator();
	virtual ~RandomFormulaeGenerator();

	static void generateRandomSetOfFormulae(std::vector<Formula*> & destination, unsigned int numberOfFormulae,unsigned int maxVarNumber, unsigned int maxClausesNumber, unsigned int maxLitNumber);
	static void generateRandModified(std::vector<Formula*> & destination,unsigned int numberOfFormulae, unsigned int maxVarNumber,unsigned int minVarNumber,  unsigned int maxClausesNumber,unsigned int minClausesNumber);
};


#endif /* RANDOMFORMULAEGENERATOR_H_ */
